Robust Online Monitoring of Signal Temporal Logic

Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interaction with a continuous environment or analog com- ponents. STL is naturally equipped with a quantitative semantics which can be used for various purposes: from assessing the robustness of a specification to guiding searches over the input and parameter space with the goal of falsifying the given property over system behaviors. Algorithms have been proposed and implemented for offline computation of such quantitative semantics, but only few methods exist for an online setting, where one would want to monitor the satisfaction of a formula during simulation. In this paper, we formalize a semantics for robust online monitoring of partial traces, i.e., traces for which there might not be enough data to decide the Boolean satisfaction (and to compute its quantitative counterpart). We propose an efficient algorithm to compute it and demonstrate its usage on two large scale real-world case studies coming from the automotive domain and from CPS education in a Massively Open Online Course (MOOC) setting. We show that savings in computationally expensive simulations far outweigh any overheads incurred by an online approach

Interleaved lexical and audiovisual information can retune phoneme boundaries

To adapt to situations in which speech perception is difficult, listeners can adjust boundaries between phoneme categories using perceptual learning. Such adjustments can draw on lexical information in surrounding speech, or on visual cues via speech-reading. In the present study, listeners proved they were able to flexibly adjust the boundary between two plosive/stop consonants, /p/-/t/, using both lexical and speech-reading information and given the same experimental design for both cue types. Videos of a speaker pronouncing pseudo-words and audio recordings of Dutch words were presented in alternating blocks of either stimulus type. Listeners were able to switch between cues to adjust phoneme boundaries, and resulting effects were comparable to results from listeners receiving only a single source of information. Overall, audiovisual cues (i.e., the videos) produced the stronger effects, commensurate with their applicability for adapting to noisy environments. Lexical cues were able to induce effects with fewer exposure stimuli and a changing phoneme bias, in a design unlike most prior studies of lexical retuning. While lexical retuning effects were relatively weaker compared to audiovisual recalibration, this discrepancy could reflect how lexical retuning may be more suitable for adapting to speakers than to environments. Nonetheless, the presence of the lexical retuning effects suggests that it may be invoked at a faster rate than previously seen. In general, this technique has further illuminated the robustness of adaptability in speech perception, and offers the potential to enable further comparisons across differing forms of perceptual learning

Research Synthesis

Herbert Simon’s (1956) concept of satisficing provides an intuitive explanation for the reasons why respondents to surveys sometimes adopt response strategies that can lead to a reduction in data quality. As such, the concept rapidly gained popularity among researchers after it was first introduced to the field of survey methodology by Krosnick and Alwin (1987), and it has become a widely cited buzzword linked to different forms of response error. In this article, we present the findings of a systematic review involving a content analysis of journal articles published in English-language journals between 1987 and 2015 that have drawn on the satisficing concept to evaluate survey data quality. Based on extensive searches of online databases, and an initial screening exercise to apply the study’s inclusion criteria, 141 relevant articles were identified. Guided by the theory of survey satisficing described by Krosnick (1991), the methodological features of the shortlisted articles were coded, including the indicators of satisficing analyzed, the main predictors of satisficing, and the presence of main or interaction effects on the prevalence of satisficing involving indicators of task difficulty, respondent ability, and respondent motivation. Our analysis sheds light on potential differences in the extent to which satisficing theory holds for different types of response error, and highlights a number of avenues for future research

Investigating situated cultural practices through cross-sectoral digital collaborations: policies, processes, insights

The (Belfast) Good Friday Agreement represents a major milestone in Northern Ireland's recent political history, with complex conditions allowing for formation of a ‘cross-community’ system of government enabling power sharing between parties representing Protestant/loyalist and Catholic/nationalist constituencies. This article examines the apparent flourishing of community-focused digital practices over the subsequent ‘post-conflict’ decade, galvanised by Northern Irish and EU policy initiatives armed with consolidating the peace process. Numerous digital heritage and storytelling projects have been catalysed within programmes aiming to foster social processes, community cohesion and cross-community exchange. The article outlines two projects—‘digital memory boxes’ and ‘interactive galleon’—developed during 2007–2008 within practice-led PhD enquiry conducted in collaboration with the Nerve Centre, a third-sector media education organisation. The article goes on to critically examine the processes involved in practically realising, and creatively and theoretically reconciling, community-engaged digital production in a particular socio-political context of academic-community collaboration

Stellar and Molecular Radii of a Mira Star: First Observations with the Keck Interferometer Grism

Using a new grism at the Keck Interferometer, we obtained spectrally dispersed (R ~ 230) interferometric measurements of the Mira star R Vir. These data show that the measured radius of the emission varies substantially from 2.0-2.4 microns. Simple models can reproduce these wavelength-dependent variations using extended molecular layers, which absorb stellar radiation and re-emit it at longer wavelengths. Because we observe spectral regions with and without substantial molecular opacity, we determine the stellar photospheric radius, uncontaminated by molecular emission. We infer that most of the molecular opacity arises at approximately twice the radius of the stellar photosphere.Comment: 12 pages, including 3 figures. Accepted by ApJ

Gas and dust in the inner disk of the Herbig Ae star MWC 758

In this Letter we investigate the origin of the near-infrared emission of the Herbig Ae star MWC 758 on sub-astronomical unit (AU) scales using spectrally dispersed low resolution (R=35) AMBER/VLTI interferometric observations both in the H ($1.7 \mu$m) and K ($2.2 \mu$m) bands. We find that the K band visibilities and closure phases are consistent with the presence of a dusty disk inner rim located at the dust evaporation distance (0.4 AU) while the bulk of the H band emission arises within 0.1 AU from the central star. Comparing the observational results with theoretical model predictions, we suggest that the H band emission is dominated by an hot gaseous accretion disk.Comment: Accepted for publication in A&

Neural correlates of phonetic adaptation as induced by lexical and audiovisual context

When speech perception is difficult, one way listeners adjust is by reconfiguring phoneme category boundaries, drawing on contextual information. Both lexical knowledge and lipreading cues are used in this way, but it remains unknown whether these two differing forms of perceptual learning are similar at a neural level. This study compared phoneme boundary adjustments driven by lexical or audiovisual cues, using ultra-high-field 7-T fMRI. During imaging, participants heard exposure stimuli and test stimuli. Exposure stimuli for lexical retuning were audio recordings of words, and those for audiovisual recalibration were audio–video recordings of lip movements during utterances of pseudowords. Test stimuli were ambiguous phonetic strings presented without context, and listeners reported what phoneme they heard. Reports reflected phoneme biases in preceding exposure blocks (e.g., more reported /p/ after /p/-biased exposure). Analysis of corresponding brain responses indicated that both forms of cue use were associated with a network of activity across the temporal cortex, plus parietal, insula, and motor areas. Audiovisual recalibration also elicited significant occipital cortex activity despite the lack of visual stimuli. Activity levels in several ROIs also covaried with strength of audiovisual recalibration, with greater activity accompanying larger recalibration shifts. Similar activation patterns appeared for lexical retuning, but here, no significant ROIs were identified. Audiovisual and lexical forms of perceptual learning thus induce largely similar brain response patterns. However, audiovisual recalibration involves additional visual cortex contributions, suggesting that previously acquired visual information (on lip movements) is retrieved and deployed to disambiguate auditory perception

Strong Near-Infrared Emission Interior to the Dust-Sublimation Radius of Young Stellar Objects MWC275 and AB Aur

Using the longest optical-interferometeric baselines currently available, we have detected strong near-infrared (NIR) emission from inside the dust-destruction radius of Herbig Ae stars MWC275 and AB Aur. Our sub-milli-arcsecond resolution observations unambiguously place the emission between the dust-destruction radius and the magnetospheric co-rotation radius. We argue that this new component corresponds to hot gas inside the dust-sublimation radius, confirming recent claims based on spectrally-resolved interferometry and dust evaporation front modeling.Comment: 12 pages, 4 figures, Accepted for publication in ApJ

New insights on the AU-scale circumstellar structure of FU Orionis

We report new near-infrared, long-baseline interferometric observations at the AU scale of the pre-main-sequence star FU Orionis with the PTI, IOTA and VLTI interferometers. This young stellar object has been observed on 42 nights over a period of 6 years from 1998 to 2003. We have obtained 287 independent measurements of the fringe visibility with 6 different baselines ranging from 20 to 110 meters in length, in the H and K bands. Our extensive (u,v)-plane coverage, coupled with the published spectral energy distribution data, allows us to test the accretion disk scenario. We find that the most probable explanation for these observations is that FU Ori hosts an active accretion disk whose temperature law is consistent with standard models. We are able to constrain the geometry of the disk, including an inclination of 55 deg and a position angle of 47 deg. In addition, a 10 percent peak-to-peak oscillation is detected in the data (at the two-sigma level) from the longest baselines, which we interpret as a possible disk hot-spot or companion. However, the oscillation in our best data set is best explained with an unresolved spot located at a projected distance of 10 AU at the 130 deg position angle and with a magnitude difference of DeltaK = 3.9 and DeltaH = 3.6 mag moving away from the center at a rate of 1.2 AU/yr. we propose to interpret this spot as the signature of a companion of the central FU Ori system on an extremely eccentric orbit. We speculate that the close encounter of this putative companion and the central star could be the explanation of the initial photometric rise of the luminosity of this object

Adaptive Optics Imaging of the AU Microscopii Circumstellar Disk: Evidence for Dynamical Evolution

We present an H-band image of the light scattered from circumstellar dust around the nearby (10 pc) young M star AU Microscopii (AU Mic, GJ 803, HD 197481), obtained with the Keck adaptive optics system. We resolve the disk both vertically and radially, tracing it over 17-60 AU from the star. Our AU Mic observations thus offer the possibility to probe at high spatial resolution (0.04" or 0.4 AU per resolution element) for morphological signatures of the debris disk on Solar-System scales. Various sub-structures (dust clumps and gaps) in the AU Mic disk may point to the existence of orbiting planets. No planets are seen in our H-band image down to a limiting mass of 1 M_Jup at >20 AU, although the existence of smaller planets can not be excluded from the current data. Modeling of the disk surface brightness distribution at H-band and R-band, in conjunction with the optical to sub-millimeter spectral energy distribution, allows us to constrain the disk geometry and the dust grain properties. We confirm the nearly edge-on orientation of the disk inferred from previous observations, and deduce an inner clearing radius <=10 AU. We find evidence for a lack of small grains in the inner (<60 AU) disk, either as a result of primordial disk evolution, or because of destruction by Poynting-Robertson and/or corpuscular drag. A change in the power-law index of the surface brightness profile is observed near 33 AU, similar to a feature known in the profile of the beta Pic circumstellar debris disk. By comparing the time scales for inter-particle collisions and Poynting-Robertson drag between the two systems, we argue that the breaks are linked to one of these two processes.Comment: 17 pages, 7 figures, 1 table; accepted by Ap